A Choices Hypervisor on the ARM architecture

Choices is an object oriented operating system that runs on the x86 and ARM architectures. The aim of this project is to build a hypervisor using Choices on the ARM architecture. In this project we aim to build a hypervisor on the QEMU emulator emulating the ARM7 architecture using a VMX approach. We have selected as guest operating system a small Linux image. The primary goal of the system is to emulate the sensitive instructions of the ARM architecture using VMX like instructions in the hypervisor. We have identified the sensitive instructions for the ARM architecture. We have also put in place a mechanism by which QEMU traps on sensitive instruction to the hypervisor. In future, we will proceed to implement the validation and emulation of the sensitive instructions in Choices while extending QEMU with the necessary VMX instructions.